Propositional calculus - PDFSEARCH.IO - Document Search Engine

Propositional calculus
Results: 1046

#	Item
271	From Small Space to Small Width in Resolution Yuval Filmus1 , Massimo Lauria2 , Mladen Mikša2 , Jakob Nordström2 , and Marc Vinyals2 1 2 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-01-09 15:51:16 Logic Logic in computer science Propositional calculus Rules of inference Logic programming Resolution Conjunctive normal form Unit propagation Proof complexity Theoretical computer science Automated theorem proving Mathematical logic
272	7 CLOSET DRAMAS Kieran Daly 7 CLOSET DRAMAS1 Kieran Daly Add to Reading List Source URL: dl.gauss-pdf.com Language: English - Date: 2014-11-25 19:45:00 Mathematical logic Philosophy of language Philosophical logic Propositional calculus Trivialism Function Proposition Modal logic Existence Logic Mathematics Ontology
273	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
274	On Odd and Even Cycles in Normal Logic Programs∗ Fangzhen Lin Xishun Zhao Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 10:24:46 Logic programming Stable model semantics Answer set programming NC First-order logic XTR Model theory Propositional calculus Logic Mathematical logic Theoretical computer science
275	Double Negation Translations as Morphisms Fr´ed´eric Gilbert1 and Olivier Hermant2 1 2 Ecole des Ponts ParisTech, Inria Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 11:05:12 Deduction Logic in computer science Propositional calculus Entailment Metalogic Sequent calculus Intuitionistic logic Symbol Natural deduction Logic Mathematical logic Proof theory
276	We transfer information using sentences. How should we model this? Some aspects of the logical structure of conversation Daniel Rothschild Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Propositional calculus Grammar Semantics Philosophy of language Boolean algebra Proposition Negation Formal language Logic Linguistics Science
277	Chapter 1: Origin of Computer Science Quotation from Preface Algorithmic Adventures From Knowledge to Magic Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Logical consequence Semantics Predicate logic Propositional calculus Mathematical proof Algorithm Mereology Negation Continuum hypothesis Logic Mathematics Mathematical logic
278	Chapter 1: Origin of Computer Science Algorithmic Adventures From Knowledge to Magic Book by Juraj Hromkoviˇ Add to Reading List Source URL: www.win.tue.nl Language: English - Date: 2010-10-12 03:18:13 Boolean algebra Semantics Mathematical logic Logical connectives Mathematical proof Truth table Negation Equals sign Mathematics Propositional calculus Logic
279	Elimination of Negation in a Logical Framework Alberto Momigliano December 15, 2000 CMU-CSSchool of Computer Science Add to Reading List Source URL: reports-archive.adm.cs.cmu.edu Language: English - Date: 2000-12-15 10:34:26 Propositional calculus Semantics Type theory Model theory Logic programming Negation Prolog Entailment Logical framework Logic Mathematical logic Logic in computer science
280	Double Negation Translations as Morphisms Olivier Hermant CRI, MINES ParisTech December 12, 2014 Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-12-23 09:42:55 Proof theory Logic in computer science Propositional calculus Mathematical constructivism Intuitionistic logic Non-classical logic Sequent calculus Negation Natural deduction Mathematical logic Logic Mathematics

UPDATE